package edu.gatech.cc.concolic.expression;



public abstract class DIV extends BinaryOperator {

	public DIV(SymbolicExpression lhs, SymbolicExpression rhs) {
		super(lhs, rhs);
	}
	
	@Override
	public String toString() {
		return String.format("(%s / %s)", lhs, rhs);
	}

}
